112 research outputs found
A Formal Specification of Dynamic Protocols for Open Agent Systems
Multi-agent systems where the agents are developed by parties with competing
interests, and where there is no access to an agent's internal state, are often
classified as `open'. The member agents of such systems may inadvertently fail
to, or even deliberately choose not to, conform to the system specification.
Consequently, it is necessary to specify the normative relations that may exist
between the agents, such as permission, obligation, and institutional power.
The specification of open agent systems of this sort is largely seen as a
design-time activity. Moreover, there is no support for run-time specification
modification. Due to environmental, social, or other conditions, however, it is
often required to revise the specification during the system execution. To
address this requirement, we present an infrastructure for `dynamic'
specifications, that is, specifications that may be modified at run-time by the
agents. The infrastructure consists of well-defined procedures for proposing a
modification of the `rules of the game', as well as decision-making over and
enactment of proposed modifications. We evaluate proposals for rule
modification by modelling a dynamic specification as a metric space, and by
considering the effects of accepting a proposal on system utility. Furthermore,
we constrain the enactment of proposals that do not meet the evaluation
criteria. We employ the action language C+ to formalise dynamic specifications,
and the `Causal Calculator' implementation of C+ to execute the specifications.
We illustrate our infrastructure by presenting a dynamic specification of a
resource-sharing protocol
Optimizing Vessel Trajectory Compression
In previous work we introduced a trajectory detection module that can provide
summarized representations of vessel trajectories by consuming AIS positional
messages online. This methodology can provide reliable trajectory synopses with
little deviations from the original course by discarding at least 70% of the
raw data as redundant. However, such trajectory compression is very sensitive
to parametrization. In this paper, our goal is to fine-tune the selection of
these parameter values. We take into account the type of each vessel in order
to provide a suitable configuration that can yield improved trajectory
synopses, both in terms of approximation error and compression ratio.
Furthermore, we employ a genetic algorithm converging to a suitable
configuration per vessel type. Our tests against a publicly available AIS
dataset have shown that compression efficiency is comparable or even better
than the one with default parametrization without resorting to a laborious data
inspection
Incremental Learning of Event Definitions with Inductive Logic Programming
Event recognition systems rely on properly engineered knowledge bases of
event definitions to infer occurrences of events in time. The manual
development of such knowledge is a tedious and error-prone task, thus
event-based applications may benefit from automated knowledge construction
techniques, such as Inductive Logic Programming (ILP), which combines machine
learning with the declarative and formal semantics of First-Order Logic.
However, learning temporal logical formalisms, which are typically utilized by
logic-based Event Recognition systems is a challenging task, which most ILP
systems cannot fully undertake. In addition, event-based data is usually
massive and collected at different times and under various circumstances.
Ideally, systems that learn from temporal data should be able to operate in an
incremental mode, that is, revise prior constructed knowledge in the face of
new evidence. Most ILP systems are batch learners, in the sense that in order
to account for new evidence they have no alternative but to forget past
knowledge and learn from scratch. Given the increased inherent complexity of
ILP and the volumes of real-life temporal data, this results to algorithms that
scale poorly. In this work we present an incremental method for learning and
revising event-based knowledge, in the form of Event Calculus programs. The
proposed algorithm relies on abductive-inductive learning and comprises a
scalable clause refinement methodology, based on a compressive summarization of
clause coverage in a stream of examples. We present an empirical evaluation of
our approach on real and synthetic data from activity recognition and city
transport applications
Distributed Online Learning of Event Definitions
Logic-based event recognition systems infer occurrences of events in time
using a set of event definitions in the form of first-order rules. The Event
Calculus is a temporal logic that has been used as a basis in event recognition
applications, providing among others, direct connections to machine learning,
via Inductive Logic Programming (ILP). OLED is a recently proposed ILP system
that learns event definitions in the form of Event Calculus theories, in a
single pass over a data stream. In this work we present a version of OLED that
allows for distributed, online learning. We evaluate our approach on a
benchmark activity recognition dataset and show that we can significantly
reduce training times, exchanging minimal information between processing nodes
Symbolic Automata with Memory: a Computational Model for Complex Event Processing
We propose an automaton model which is a combination of symbolic and register
automata, i.e., we enrich symbolic automata with memory. We call such automata
Register Match Automata (RMA). RMA extend the expressive power of symbolic
automata, by allowing formulas to be applied not only to the last element read
from the input string, but to multiple elements, stored in their registers. RMA
also extend register automata, by allowing arbitrary formulas, besides equality
predicates. We study the closure properties of RMA under union, concatenation,
Kleene+, complement and determinization and show that RMA, contrary to symbolic
automata, are not determinizable when viewed as recognizers, without taking the
output of transitions into account. However, when a window operator, a
quintessential feature in Complex Event Processing, is used, RMA are indeed
determinizable even when viewed as recognizers. We present detailed algorithms
for constructing deterministic RMA from regular expressions extended with
-ary constraints. We show how RMA can be used in Complex Event Processing in
order to detect patterns upon streams of events, using a framework that
provides denotational and compositional semantics, and that allows for a
systematic treatment of such automata
Reactive Reasoning with the Event Calculus
Systems for symbolic event recognition accept as input a stream of
time-stamped events from sensors and other computational devices, and seek to
identify high-level composite events, collections of events that satisfy some
pattern. RTEC is an Event Calculus dialect with novel implementation and
'windowing' techniques that allow for efficient event recognition, scalable to
large data streams. RTEC can deal with applications where event data arrive
with a (variable) delay from, and are revised by, the underlying sources. RTEC
can update already recognised events and recognise new events when data arrive
with a delay or following data revision. Our evaluation shows that RTEC can
support real-time event recognition and is capable of meeting the performance
requirements identified in a recent survey of event processing use cases.Comment: International Workshop on Reactive Concepts in Knowledge
Representation (ReactKnow 2014), co-located with the 21st European Conference
on Artificial Intelligence (ECAI 2014). Proceedings of the International
Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014),
pages 9-15, technical report, ISSN 1430-3701, Leipzig University, 2014.
http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-150562. 2014,
Semi-Supervised Online Structure Learning for Composite Event Recognition
Online structure learning approaches, such as those stemming from Statistical
Relational Learning, enable the discovery of complex relations in noisy data
streams. However, these methods assume the existence of fully-labelled training
data, which is unrealistic for most real-world applications. We present a novel
approach for completing the supervision of a semi-supervised structure learning
task. We incorporate graph-cut minimisation, a technique that derives labels
for unlabelled data, based on their distance to their labelled counterparts. In
order to adapt graph-cut minimisation to first order logic, we employ a
suitable structural distance for measuring the distance between sets of logical
atoms. The labelling process is achieved online (single-pass) by means of a
caching mechanism and the Hoeffding bound, a statistical tool to approximate
globally-optimal decisions from locally-optimal ones. We evaluate our approach
on the task of composite event recognition by using a benchmark dataset for
human activity recognition, as well as a real dataset for maritime monitoring.
The evaluation suggests that our approach can effectively complete the missing
labels and eventually, improve the accuracy of the underlying structure
learning system
The Complex Event Recognition Group
The Complex Event Recognition (CER) group is a research team, affiliated with
the National Centre of Scientific Research "Demokritos" in Greece. The CER
group works towards advanced and efficient methods for the recognition of
complex events in a multitude of large, heterogeneous and interdependent data
streams. Its research covers multiple aspects of complex event recognition,
from efficient detection of patterns on event streams to handling uncertainty
and noise in streams, and machine learning techniques for inferring interesting
patterns. Lately, it has expanded to methods for forecasting the occurrence of
events. It was founded in 2009 and currently hosts 3 senior researchers, 5 PhD
students and works regularly with under-graduate students
Probabilistic Event Calculus for Event Recognition
Symbolic event recognition systems have been successfully applied to a
variety of application domains, extracting useful information in the form of
events, allowing experts or other systems to monitor and respond when
significant events are recognised. In a typical event recognition application,
however, these systems often have to deal with a significant amount of
uncertainty. In this paper, we address the issue of uncertainty in logic-based
event recognition by extending the Event Calculus with probabilistic reasoning.
Markov Logic Networks are a natural candidate for our logic-based formalism.
However, the temporal semantics of the Event Calculus introduce a number of
challenges for the proposed model. We show how and under what assumptions we
can overcome these problems. Additionally, we study how probabilistic modelling
changes the behaviour of the formalism, affecting its key property, the inertia
of fluents. Furthermore, we demonstrate the advantages of the probabilistic
Event Calculus through examples and experiments in the domain of activity
recognition, using a publicly available dataset for video surveillance
Online Event Recognition from Moving Vehicles: Application Paper
We present a system for online composite event recognition over streaming
positions of commercial vehicles. Our system employs a data enrichment module,
augmenting the mobility data with external information, such as weather data
and proximity to points of interest. In addition, the composite event
recognition module, based on a highly optimised logic programming
implementation of the Event Calculus, consumes the enriched data and identifies
activities that are beneficial in fleet management applications. We evaluate
our system on large, real-world data from commercial vehicles, and illustrate
its efficiency. Under consideration for acceptance in TPLP.Comment: Paper presented at the 35th International Conference on Logic
Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019,
16 page
- …